We investigate the class of those algebras in which is a de Morgan algebra, is a quasi-Stone algebra, and the operations \ and \ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.

We identify the \-ideals of a distributive demi-pseudocomplemented algebra L as the kernels of the boolean congruences on L, and show that they form a complete Heyting algebra which is isomorphic to the interval \ of the congruence lattice of L where G is the Glivenko congruence. We also show that the notions of maximal \-ideal, prime \-ideal, and falsity ideal coincide.

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence on A is a union of -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras.

A pO -algebra $${(L; f, \, ^{\star})}$$ is an algebra in which ( L ; f ) is an Ockham algebra, $${(L; \, ^{\star})}$$ is a p -algebra, and the unary operations f and $${^{\star}}$$ commute. Here we consider the endomorphism monoid of such an algebra. If $${(L; f, \, ^{\star})}$$ is a subdirectly irreducible pK 1,1 - algebra then every endomorphism $${\vartheta}$$ is a monomorphism or $${\vartheta^3 = \vartheta}$$ . When L is finite the endomorphism monoid of L is (...) regular, and we determine precisely when it is a Clifford monoid. (shrink)

Let (L; f) be a finite simple Ockham algebra and let (X;g) be its dual space. We first prove that every connected component of X is either a singleton or a generalised crown (i.e. an ordered set that is connected, has length 1, and all vertices of which have the same degree). The representation of a generalised crown by a square (0,1)-matrix in which all line sums are equal is used throughout, and a complete description of X, including the number (...) of connected components and the degree of the vertices, is given. We then examine the converse problem of when a generalised crown can be made into a connected component of (X; g). We also determine the number of non-isomorphic finite simple Ockham algebras that belong properly to a given subvariety P 2n,0. Finally, we show that the number of fixed points of (L; f) is 0,1, or 2 according to the nature of X. (shrink)